- atomic inference
- мат.атомический вывод
English-Russian scientific dictionary. 2008.
atomic inference
Смотреть что такое "atomic inference" в других словарях:
Atomic bombings of Hiroshima and Nagasaki — Part of the Pacific War, World War II … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Eastern epistemology — Jain EpistemologyAccording to Jain epistemology, reality is multifaceted ( anekanta , or non one sided ), such that no finite set of statements can capture the entire truth about the objects they describe. The Jain list of pramanas (valid sources … Wikipedia
